Index: tools/Makefile.in
===================================================================
--- tools/Makefile.in	(revision 970141de748b8da353f768f0218cbba8c23a5769)
+++ tools/Makefile.in	(revision 24ff3b0fcb8e6c6d9030492d7f4e123c8fc71ecc)
@@ -208,4 +208,5 @@
 CCDEPMODE = @CCDEPMODE@
 CFACC = @CFACC@
+CFACC_INSTALL = @CFACC_INSTALL@
 CFACPP = @CFACPP@
 CFA_BACKEND_CC = @CFA_BACKEND_CC@
Index: tools/prettyprinter/Makefile.in
===================================================================
--- tools/prettyprinter/Makefile.in	(revision 970141de748b8da353f768f0218cbba8c23a5769)
+++ tools/prettyprinter/Makefile.in	(revision 24ff3b0fcb8e6c6d9030492d7f4e123c8fc71ecc)
@@ -237,4 +237,5 @@
 CCDEPMODE = @CCDEPMODE@
 CFACC = @CFACC@
+CFACC_INSTALL = @CFACC_INSTALL@
 CFACPP = @CFACPP@
 CFA_BACKEND_CC = @CFA_BACKEND_CC@