vagrant server is deployed by Puppet.