The number of jobs for Coq can be set