Use a special folder in case of vagrant box (to ease .gitignoration)

Change-Id: Id85e5dd4126d4fd97f2ea91ade61d78ba17860da