Bug fix for ncpus if hyperthreading turned off in linux