Dockerfile: more packages