Fix num_cpu_core to operate on machines with no process info in proc/cpuinfo

Fixes #447