mainly, this should prevent a situation where worker 1 and worker 2 do the
precompilation sequentially, thus wasting 2*N time instead of just N. Actually,
N is now around 50 seconds, so it saves quite a bit of time. Also, time
measurements are now much less skewed by precompilation.


Former-commit-id: 83cb5490