some tweaks to Dockerfile