58d41d2f0f310019faf4f88956ab8246  gtk-theme-switch.dsl