Another attempt to fix vignette building on windows