How to remove mcl from Debian 9 (Stretch)