xfce4-session/xfce4-session-set-desktop-name.patch