Faster compilation of Coq with the use of -j jobs option