Fixed change of installed files w.r.t patch on OPAM that no longer wipes on uninstall