diff --color --unified --recursive --text src.orig/spark2014/Makefile src.new/spark2014/Makefile
--- src.orig/spark2014/Makefile	2022-05-12 14:41:28.440880794 -0600
+++ src.new/spark2014/Makefile	2022-05-12 14:44:29.869703151 -0600
@@ -77,9 +77,9 @@
 #   install-all  install of gnatprove and why3
 
 setup:
-	cd why3 && ./configure --prefix=$(INSTALLDIR)/libexec/spark \
+	cd why3 && ./configure --prefix=$(INSTALLDIR)/lib/spark \
 		--enable-relocation --disable-js-of-ocaml \
-		--disable-hypothesis-selection --disable-re
+		--disable-hypothesis-selection --disable-re --disable-emacs-compilation
 
 why3:
 	$(MAKE) -C why3 -j $(nproc)
@@ -89,7 +89,7 @@
 	$(MAKE) install
 	$(MAKE) -C why3 install_spark2014_dev
 	# Create the fake prover scripts to help extract benchmarks.
-	$(CP) benchmark_script/fake_* install/libexec/spark/bin
+	$(CP) benchmark_script/fake_* $(INSTALLDIR)/lib/spark/bin
 
 install:
 	mkdir -p $(INSTALLDIR)/bin $(CONFIGDIR) $(THEORIESDIR) \