This will turn `-j 16` into `-j16`, but that shouldn't actually make a difference in practice.