fix finding CPU's number when larger than 9
The current code for finding number of cores in Linux doesn't work when there is more than 9 cores on a given machine
The current code for finding number of cores in Linux doesn't work when there is more than 9 cores on a given machine