Fix Vagrant provisioning

Fix a few issues with Vagrant provisioning, including issue #47.