How to remove libmialm3-dbg from Debian 9 (Stretch)