back to original vagrantfile