--- WindowMaker/menu.orig	2015-08-11 18:41:14 UTC
+++ WindowMaker/menu
@@ -208,7 +208,7 @@
 		"Background" END
 		"Save Theme" SHEXEC getstyle -t $HOME/GNUstep/Library/WindowMaker/Themes/"%a(Theme name,Enter file name:)"
 		"Save IconSet" SHEXEC geticonset $HOME/GNUstep/Library/WindowMaker/IconSets/"%a(IconSet name,Enter file name:)"
-		"Preferences Utility" EXEC /usr/local/GNUstep/Applications/WPrefs.app/WPrefs
+		"Preferences Utility" EXEC PREFIX/GNUstep/Applications/WPrefs.app/WPrefs
 	"Appearance" END
 
 	"Session" MENU