Speed up the building of the Docker image.