Forgot to modify default Vagrantfiles