trimmed vagrantfile