diff -ru crafty-25.2-orig/Makefile crafty-25.2-1/Makefile
--- crafty-25.2-orig/Makefile	2016-10-03 22:11:34.000000000 +0200
+++ crafty-25.2-1/Makefile	2016-10-30 05:50:26.000000000 +0100
@@ -76,7 +76,7 @@
 quick:
 	$(MAKE) target=UNIX \
 		CC=clang \
- 		opt='-DSYZYGY -DTEST -DTRACE -DCPUS=4' \
+ 		opt='-DSYZYGY -DTEST -DTRACE $(opt)' \
 		CFLAGS='-mpopcnt -Wall -Wno-array-bounds -pipe -O3' \
 		LDFLAGS='$(LDFLAGS) -lstdc++' \
 		crafty-make
diff -ru crafty-25.2-orig/option.c crafty-25.2-1/option.c
--- crafty-25.2-orig/option.c	2016-10-28 05:11:42.000000000 +0200
+++ crafty-25.2-1/option.c	2016-10-30 05:47:41.000000000 +0100
@@ -980,7 +980,8 @@
     char *readstat = (char *) -1;
     int lines = 0;
 
-    helpfile = fopen("crafty.hlp", "r");
+    sprintf(log_filename, "%s/crafty.hlp", book_path);
+    helpfile = fopen(log_filename, "r");
     if (!helpfile) {
       printf("ERROR.  Unable to open \"crafty.hlp\" -- help unavailable\n");
       return 1;