Gnome hacking: Introduce a custom session file.