Amend Vagrantfile to improve startup times