misnamed compatibility in vignette file name