Index: driver/cfa.cc
===================================================================
--- driver/cfa.cc	(revision 5c7fb6c8dfabfe6c6b4c365a4f378706430fd1bf)
+++ driver/cfa.cc	(revision b8508a2e1ff21bb4fcf257c21b8086694f961c08)
@@ -8,6 +8,6 @@
 // Created On       : Tue Aug 20 13:44:49 2002
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Nov 11 09:19:15 2014
-// Update Count     : 106
+// Last Modified On : Fri May 15 15:01:26 2015
+// Update Count     : 108
 // 
 
@@ -294,5 +294,5 @@
 	args[nargs] = "-Wno-deprecated"; 
 	nargs += 1;
-	args[nargs] = "--std=c99";
+	args[nargs] = "-std=c99";
 	nargs += 1;
 	args[nargs] = ( *new string( string("-B") + Bprefix + "/" ) ).c_str();
Index: translator/GenPoly/Box.cc
===================================================================
--- translator/GenPoly/Box.cc	(revision 5c7fb6c8dfabfe6c6b4c365a4f378706430fd1bf)
+++ translator/GenPoly/Box.cc	(revision b8508a2e1ff21bb4fcf257c21b8086694f961c08)
@@ -1059,5 +1059,5 @@
 		    TypeInstType *typeInst = dynamic_cast< TypeInstType *>( objectDecl->get_type() );
 		    assert( typeInst );
-		    UntypedExpr *alloc = new UntypedExpr( new NameExpr( "alloca" ) );
+		    UntypedExpr *alloc = new UntypedExpr( new NameExpr( "__builtin_alloca" ) );
 		    alloc->get_args().push_back( new NameExpr( typeInst->get_name() ) );
 		    UntypedExpr *assign = new UntypedExpr( new NameExpr( "?=?" ) );