fix opam and _oasis file