some tools want to run with a different gtk theme