use 4 cores for nix-build