bugfix version of vagrant file