dockerfile: small improvements