How to remove libm4ri-0.0.20140914 from Debian 9 (Stretch)