Small fix

I think I fixed the problem that sometime leads to errors
in builds with a lot of cpus (make -j 12)