Mão de obra para quem não está habituado com comando e terminal.São apenas dois comandos.
Eu levo 05 segundos para fechar banshee no terminal.
Uso atalho do teclado para abrir o terminal
depois digito o comando top, vejo nº PID que do banshee é sempre o primeiro e dou um ctrl+c e digito novamente kill +nº PID