diff -r 76da86cf9696 -r e9e436a588b2 build/Vagrantfile
--- a/build/Vagrantfile	Thu Jan 19 13:53:17 2017 +0100
+++ b/build/Vagrantfile	Tue Jan 31 19:05:12 2017 +0100
@@ -41,6 +41,7 @@
   # config.vm.synced_folder "../data", "/vagrant_data"
   #config.vm.synced_folder ".", "/home/vagrant/sync", disabled: true
   #config.vm.synced_folder ".", "/vagrant"
+  config.vm.synced_folder ".", "/vagrant", type: "virtualbox"
 
   # Provider-specific configuration so you can fine-tune various
   # backing providers for Vagrant. These expose provider-specific options.