diff --git a/scsh/fdports1.c b/scsh/fdports1.c
index 85d5f65..78562ac 100644
--- a/scsh/fdports1.c
+++ b/scsh/fdports1.c
@@ -41,14 +41,17 @@ static FILE *fstar_cache[NUM_FDPORTS] = {NULL};
 /* Maps fd's to ports. */
 static scheme_value fdports[NUM_FDPORTS] = {SCHFALSE};
 
-extern void remove_bone_from_head_of_linux_libc (void);
-
 void init_fdports(void)
 {
     int i = NUM_FDPORTS;
-    while( i-- ) fdports[i] = SCHFALSE;
 
+#ifdef linux
+    /* Gross hack to cover for Linux lossage. -Olin */
+    extern void remove_bone_from_head_of_linux_libc (void);
     remove_bone_from_head_of_linux_libc();
+#endif
+
+    while( i-- ) fdports[i] = SCHFALSE;
 
     /* Specially hack stdio. */
     fstar_cache[fileno(stdin)]  = stdin;