Not sure how this works, `system_profiler` on my MBA doesn't outputs `Number of CPUs`, but `Number of Processors` and `Total Number of Cores`. I am wondering if `sysctl -n hw.ncpu` is a better choice...