I've never seen this problem before.
Do you have root access to marc040 (this is a data center machine)? How can you update the OS? We manage the SCC Data Center systems and update the OS routinely. We don't expect external users to update the OS and don't understand why you would have permission to do so.
Please file a Bugzilla on this issue. We'll look at it anyway, but it will be good to track the resolution with Bugzilla.
There a couple linking errors you could have
The first thing to note is that /usr/lib32/libstdc++.so.6 is a link.
Your link points to nothing.
You can see that mine points to 6.0.13
$ls -la /usr/lib32/libstdc++.so.6
lrwxrwxrwx 1 root root 19 2011-05-27 16:59 /usr/lib32/libstdc++.so.6 -> libstdc++.so.6.0.13
A second problem is if it points to something but that library is not compatible with your glibc (less likely but if you copied libs to this directory and overwrote some, this could happen)
LD_LIBRARY_PATH is set incorrectly
For example I have other glibc installations that I installed with a prefix. When I want to compile using that glibc or run a program that was compiled using that glibc libraries. I set my LD_LIBRARY_PATH
This command will break programs that use /usr/lib32 because it will search in /usr/local/lib first.
My guess at what your problem is, is that /usr/lib32/libstdc++.so.6 points to libstdc++.so.6.0.13
and that should be a dynamic executable. You need to either download libstdc++.so.6.0.13 or point /usr/lib32/libstdc++.so.6 to /usr/lib32/libstdc++.so.6.0.3