tweaking xfce4-terminal config a bit