xfce4-terminal: make this build again.