Bug Gnomo Confirmado
Por que, olá 2015, aqui está 2017 e temos o Debian 9 Stretch como a ramificação stable
.
Então basta atualizar o Gnome foi a resposta que você estava procurando. Atualmente, estou usando exatamente a mesma configuração, mas com o Gnome 3.22.2 , e funciona muito bem.