Dockerfile: revved ubuntu version