--- src/repint.h.orig	2013-02-11 21:33:15.000000000 -0500
+++ src/repint.h	2013-02-11 21:33:32.000000000 -0500
@@ -244,8 +244,8 @@
    call when the heap needs to grow. */
 
 #if defined __GNUC__ && defined __OPTIMIZE__
-extern __inline__ repv inline_Fcons (repv x, repv y);
-extern __inline__ repv
+static __inline__ repv inline_Fcons (repv x, repv y);
+static __inline__ repv
 inline_Fcons (repv x, repv y)
 {
     rep_cons *c = rep_cons_freelist;
