diff --git a/1984/Makefile b/1984/Makefile
index b84eb77ba..a5635ca6c 100644
--- a/1984/Makefile
+++ b/1984/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1985/Makefile b/1985/Makefile
index f1b83b9d8..bcd9b64a6 100644
--- a/1985/Makefile
+++ b/1985/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1986/Makefile b/1986/Makefile
index 004d0db49..9f39474c6 100644
--- a/1986/Makefile
+++ b/1986/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1987/Makefile b/1987/Makefile
index 1c5e1d577..03ae0756d 100644
--- a/1987/Makefile
+++ b/1987/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1988/Makefile b/1988/Makefile
index ce32ad66c..d60bd7d4a 100644
--- a/1988/Makefile
+++ b/1988/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1989/Makefile b/1989/Makefile
index 953449a18..253c67e1f 100644
--- a/1989/Makefile
+++ b/1989/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1990/Makefile b/1990/Makefile
index 9529d7883..2f647c150 100644
--- a/1990/Makefile
+++ b/1990/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1991/Makefile b/1991/Makefile
index b60716539..19da3d395 100644
--- a/1991/Makefile
+++ b/1991/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1992/Makefile b/1992/Makefile
index 1aee26224..60d812885 100644
--- a/1992/Makefile
+++ b/1992/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1993/Makefile b/1993/Makefile
index 846a4c5b6..6a72f987c 100644
--- a/1993/Makefile
+++ b/1993/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1994/Makefile b/1994/Makefile
index 8ec81b66b..7e22aeabb 100644
--- a/1994/Makefile
+++ b/1994/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############
diff --git a/1995/Makefile b/1995/Makefile
index 3948878a4..80bfbaad5 100644
--- a/1995/Makefile
+++ b/1995/Makefile
@@ -46,12 +46,17 @@
 # See: http://creativecommons.org/licenses/by-sa/3.0/
 
 
-################
-# tool locations
-################
+#############################
+# shell used by this Makefile
+#############################
 #
 SHELL= bash
-MAKE= make
+
+#######################
+# common tool locations
+#######################
+#
+include ../var.mk
 
 
 ###############