use of my own opam-lib.tgz