Make the dockerfile proper.