How to remove libcml-smlnj from Debian 9 (Stretch)