Use correct version of Vignette