fix opam-lib uninstallation