Stuff hardcoded in Vagrantfile moved to vagrant/profiles/default.json