change Vagranfile so that jenkins can build it