--- /opt/gnome/sbin/gdm-stop.orig	2006-11-08 23:21:27.000000000 +0200
+++ /opt/gnome/sbin/gdm-stop	2006-11-08 23:25:30.000000000 +0200
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 if [ "x$(pidof X)" != "x" ]; then
-	PIDFILE=`/opt/gnome/sbin/gdmflexiserver --command="GET_CONFIG daemon/PidFile"`
+	PIDFILE=`gdmflexiserver --command="GET_CONFIG daemon/PidFile"`
 	CHECKPIDFILE=`echo $PIDFILE | sed 's/^\([^ ]*\) .*$/\1/'`
 fi