clean up Dockerfile a bit