Fix make concurrency

make's behavior is different than, e.g., ninja in that the lack of a parameter to -j means that it may spawn indefinite amounts of processes.

This can easily exhaust a build system's resources and thus cause problems not only in CI.