Tries to fix a parallel compilation issue (v2)