--- XSB.orig/lib/foreign.P 2006-06-12 09:41:56.000000000 +1200 +++ XSB/lib/foreign.P 2007-01-28 21:51:52.000000000 +1300 @@ -104,7 +104,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)