vagrantfile tidying up