Oasis: fixed the patch allowing to select which ocamlfind to use