Not everyone has `nproc`. In particular it does not appear to be present on my OSX build. Better to leave a fixed number here. This is just a suggestion anyhow.

This reverts commit 9c18f2ad.