--- configure.orig	2011-07-04 18:57:45.000000000 -0700
+++ configure	2011-07-04 18:58:13.000000000 -0700
@@ -12011,13 +12011,8 @@ echo $ECHO_N "checking whether Mercury s
 LINK_EXE=$CC
 LINK_SHARED_OBJ="$CC -shared"
 LINK_SHARED_OBJ_SH="$CC -shared"
-if test "$GCC" = "yes"; then
-    SHARED_LIBS="\`$CC -print-libgcc-file-name\` \$(MATH_LIB) -lc"
-    SHARED_LIBS_SH="\`$CC -print-libgcc-file-name\` \$MATH_LIB -lc"
-else
-    SHARED_LIBS='$(MATH_LIB) -lc'
-    SHARED_LIBS_SH='$MATH_LIB -lc'
-fi
+SHARED_LIBS='$(MATH_LIB) -lc'
+SHARED_LIBS_SH='$MATH_LIB -lc'
 EXE_RPATH_OPT="-Wl,-rpath,"
 EXE_RPATH_SEP=" -Wl,-rpath,"
 SHLIB_RPATH_OPT="-Wl,-rpath,"
