Correct Dockerfile so that no large `build` intermediate layer is pushed