How to remove gnat-gps-dbg from Debian 9 (Stretch)