Made vagrantfile work for our environment