xbindkeys が Ubuntu 17.10 で動作しません。

Question

理由を知っている人はいますか? 何らかの理由で、gnome 拡張機能を追加したときに動作しなくなりました。キーの競合はないと思われます。