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