Updated the name of Dockerfile in build script.

The old docker file has been split into Dockerfile-base and Dockerfile-prefactor. The build script still referred to the old Dockerfile (now Dockerfile-prefactor).