small tweaks to Dockerfiles