Changed the script to actually change the content of Vagrantfile