Fixed a bug in the build script.

Updates to the Vagrant config. More work still needed.