We shouldn't be doing `make -j$(nproc) V=1` as there is no `nproc` shipped with macOS. The analogue command would be `sysctl -n hw.ncpu`. See also https://github.com/gap-actions/setup-gap/issues/74