Bug fix for ncpus if hyperthreading turned off in linux

This changes fixes the bug outlined in 

http://sourceforge.net/tracker/?func=detail&aid=3611599&group_id=29880&atid=397597

Basically, ncpus is wrong linux if the machine has hyperthreading turned off after startup.