The last chunk of vagrant-specific stuff is moved to a separate shell script