fix of 'make -j': cannot reproduce any problem, but didn't try all interleavings...