cc: removed option -lstdc++, which seems to be unnecessry, but causes problems on some platforms;

--- a/lib/scripts/run-polyml-5.0	Tue Feb 06 17:20:14 2007 +0100
+++ b/lib/scripts/run-polyml-5.0	Tue Feb 06 18:02:28 2007 +0100
@@ -89,7 +89,7 @@
 
 if [ -n "$OUTFILE" ]; then
   if [ -e "${OUTFILE}.o" ]; then
-    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml -lstdc++ || fail_out
+    cc -o "$OUTFILE" "${OUTFILE}.o" -L"$POLYLIB" -lpolymain -lpolyml || fail_out
     rm -f "${OUTFILE}.o"
     [ -e "${OUTFILE}.exe" ] && mv "${OUTFILE}.exe" "$OUTFILE"
   fi