Revert Dockerfile.ubuntu