Use a non-compiled oasis setup and improve the opam package.