How to remove gdb-arm-none-eabi from Debian 9 (Stretch)