Nudge to get the path to vagrant right in Jenkins.