Como desinstalar gnat-5-sh4-linux-gnu do Debian Unstable (Sid)