Fix some paths in the Dockerfiles.