On all other platforms except Macosx, the logic for detecting number of cpus includes hyperthreading in their count. We do see some speedup from setting the make -j flag to a number that includes HT so we should do the same on macosx.