Comment out getNumberOfProcessors on GHC 7.2, seems not to be present with Travis builds