--- option.c	2016-10-27 23:11:42.000000000 -0400
+++ option.c	2017-01-15 19:35:50.000000000 -0500
@@ -980,9 +980,9 @@
     char *readstat = (char *) -1;
     int lines = 0;
 
-    helpfile = fopen("crafty.hlp", "r");
+    helpfile = fopen("@@PREFIX@@/share/crafty/crafty.hlp", "r");
     if (!helpfile) {
-      printf("ERROR.  Unable to open \"crafty.hlp\" -- help unavailable\n");
+      printf("ERROR.  Unable to open \"@@PREFIX@@/share/crafty/crafty.hlp\" -- help unavailable\n");
       return 1;
     }
     if (nargs > 1) {