A patch to fix getNumberOfProcessors() on OS X