--- XSB.orig/lib/foreign.P	2007-08-23 07:11:06.000000000 +1200
+++ XSB/lib/foreign.P	2007-11-25 16:39:33.000000000 +1300
@@ -127,7 +127,7 @@
 	%% If not debugging, the strip the symbol table from the result
 	(  str_sub(' -g', CC_Opts)
 	-> SymbolTableFlag = ' '
-	;  SymbolTableFlag = ' -s'
+	;  SymbolTableFlag = ' '
 	),
 	(   var(CompComm)
 	->  (	str_sub('solaris', Configuration)