Agora encontrei uma maneira de corrigir isso. É força bruta, mas funciona. Eu mudei o nome da pasta "themes" em / usr / shared para "themes_". O resultado é que todos os temas pré-instalados estão ocultos do sistema e nosso tema GTK funciona novamente.