How to remove libmlx4-1-dbg from Debian 9 (Stretch)