Index: driver/cfa.cc
===================================================================
--- driver/cfa.cc	(revision bdd516a5257cb93cc0c5b4a4c343cc112252022a)
+++ driver/cfa.cc	(revision b1a6d6b5ecf5925aa65742a37eb5caaa0b59cb43)
@@ -294,4 +294,6 @@
 	args[nargs] = "-Wno-deprecated"; 
 	nargs += 1;
+	args[nargs] = "--std=c99";
+	nargs += 1;
 	args[nargs] = ( *new string( string("-B") + Bprefix + "/" ) ).c_str();
 	nargs += 1;