This avoids having to pass --build-arg CORES=n when building the docker images.
This was left inconsistent after 3c1c81f321.
3c1c81f321