Dockerfile: make docker image thinner