diff -Naur bigloo3.3a.orig/configure bigloo3.3a/configure
--- bigloo3.3a.orig/configure	2009-12-01 11:13:15.000000000 -0300
+++ bigloo3.3a/configure	2009-12-11 02:08:57.000000000 -0300
@@ -62,7 +62,7 @@
 featureflags=
 coflags=-O3
 
-cstrip="-s"
+cstrip=""
 cpicflags="demanded" # Possible values for cpicflags are:
              #  - "no" not to use position independent code (recommended)
              #  - "demanded" auto configuration but with a preference to "no"
@@ -78,7 +78,7 @@
 ld=
 ldlibs=-lc
 ldcomplibs=-lc
-strip=       # left blank for autoconfiguration
+strip=""       # left blank for autoconfiguration
 longlong=    # The C type to represent long long integers
 havelonglong=
 stringsplit="0"
@@ -684,6 +684,10 @@
       extralibs="";
       cstrip="no";;
 
+    --strip=no)
+      cstrip="no";
+      strip="no";;
+
     --pnet)
       dotnetclrstyle=pnet;
       dotnetcsccstyle=pnet;