tidy up Vagrantfile