reverting config/Vagrantfile to its original name