vagrant: shorter worker machine names