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