Index: tools/Makefile.am
===================================================================
--- tools/Makefile.am	(revision d21d01e585638b66be768d67bb4e325d50f88ebd)
+++ tools/Makefile.am	(revision bd07b152a6715b32d07c252c73e95424bd236100)
@@ -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 bd07b152a6715b32d07c252c73e95424bd236100)
@@ -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 bd07b152a6715b32d07c252c73e95424bd236100)
@@ -210,5 +210,4 @@
 AUTOMAKE = @AUTOMAKE@
 AWK = @AWK@
-BACKEND_CC = @BACKEND_CC@
 BUILD_IN_TREE_FLAGS = @BUILD_IN_TREE_FLAGS@
 CC = @CC@