tweak Dockerfile