Index: tools/Makefile.am
===================================================================
--- tools/Makefile.am	(revision d21d01e585638b66be768d67bb4e325d50f88ebd)
+++ tools/Makefile.am	(revision 1b34b87a9432a5a2b3a787f7ef8ccb7e2dcc7c16)
@@ -17,5 +17,4 @@
 AUTOMAKE_OPTIONS = foreign    # do not require all the GNU file names
 
-CC = @BACKEND_CC@
 AM_CFLAGS = -Wall -Wextra -O2 -g
 
Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision d21d01e585638b66be768d67bb4e325d50f88ebd)
+++ tools/Makefile.in	(revision 1b34b87a9432a5a2b3a787f7ef8ccb7e2dcc7c16)
@@ -186,7 +186,6 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
-CC = @BACKEND_CC@
+CC = @CC@
 CCAS = @CCAS@
 CCASDEPMODE = @CCASDEPMODE@
Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision d21d01e585638b66be768d67bb4e325d50f88ebd)
+++ tools/prettyprinter/Makefile.in	(revision 1b34b87a9432a5a2b3a787f7ef8ccb7e2dcc7c16)
@@ -210,5 +210,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@