Some more alterations to the Vagrantfile