btw., this also causes several menu items not to work (for example supertux). also, restricted-manager crashes on startup then. -- $PATH variable in Gnome wrong https://launchpad.net/bugs/94522