Mike: refined vagrant provisioning