--- a/stage4/generate_c/generate_c_inlinefcall.cc	Sun Feb 19 20:13:02 2017 +0000
+++ b/stage4/generate_c/generate_c_inlinefcall.cc	Sat Mar 18 21:50:00 2017 +0000
@@ -104,7 +104,7 @@
       }
 
       s4o.print(s4o.indent_spaces);
-      s4o.print("inline ");
+      s4o.print("static inline ");      
       function_type_prefix->accept(*this);
       s4o.print(" __");
       fbname->accept(*this);