Reverting theme for gnome-terminal compatibility issues