chaves de mídia não funcionam mais no Ubuntu 17.10

Instalei um monte de atualizações no meu desktop Ubuntu 17.10 hoje à noite e reiniciei. Agora, as teclas de mídia na parte superior do meu teclado USB DELL não funcionam mais.

Quando corro sudo showkey, parece que o botão de volume, a reprodução, a parada, a calculadora, etc., ainda estão enviando eventos de teclas pressionadas e pressionadas. Mas esses parecem não fazer mais nada, como se o Ubuntu estivesse ignorando todas as chaves extras. Alguém tem ideias?

sudo showkey
...
keycode 140 press # calculator
keycode 140 release
keycode 113 press # mute
keycode 113 release
keycode 166 press # stop
keycode 166 release
keycode 114 press # volume down
keycode 114 release
keycode 115 press # volume up
keycode 115 release

sudo lsusb
...
Bus 001 Device 004: ID 413c:2010 Dell Computer Corp. Keyboard
Bus 001 Device 002: ID 413c:1003 Dell Computer Corp. Keyboard Hub

Eu tive um problema semelhante com as teclas de mídia (silenciar, reproduzir, pausar) depois de instalar a interface do Unity em uma instalação 17.10 limpa. As teclas de mídia funcionaram bem na tela de login e na área de trabalho da interface do Gnome.

The post Como encontrar * por que * não consigo vincular algum atalho de teclado (ou qual aplicativo o levou)? me deu uma visão para uma solução alternativa. Parece haver algum problema com o compiz.

Eu instalei o Compiz Config Settings Manager

sudo apt install compizconfig-settings-manager
ccsm

e desativou os comandos do plugin . Depois disso, as teclas de mídia parecem estar funcionando bem.