Tries to fix a parallel compilation issue