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