How to remove gcc-arm-linux-gnueabi from Debian 9 (Stretch)