Fixed Oasis name for consistency with OPAM