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