Let linux use default number of cpus