No fancy script or minit automatic migration, etc, but if you start
the docker image and go in and manually do everything, it works.