Reverting Vagrantfile