vagrant: use proper HMS setup script