minor Dockerfile tweaks