Dockerfile: fix some errors preventing builds.