K 10 svn:author V 2 mi K 8 svn:date V 27 2018-07-21T01:11:22.038455Z K 7 svn:log V 68 Add a trick to enable parallel compilations. No functional changes. END