--- a/stage4/generate_c/generate_c_inlinefcall.cc	Wed Mar 26 13:20:45 2014 +0100
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Thu Mar 27 09:52:13 2014 +0100
@@ -120,7 +120,7 @@
       }
 
       s4o.print(s4o.indent_spaces);
-      s4o.print("inline ");
+      s4o.print("static inline ");
       function_type_prefix->accept(*this);
       s4o.print(" __");
       fbname->accept(*this);