Fix opam install file.
Fix compatibility with trunk.