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