Restored original Vagrantfile