xfce4-terminal: new format for terminalrc