How to remove ocamlify from Debian 9 (Stretch)