Make copying to inst/basicExploration work in different OSs
Re-build vignettes