Jan,
Looking at the binaries again, they all appear to be properly
linked to libstdc++.so.5 so it must be a stale Depends in the
debian/control file. We should do a 1.0.1-6 rebuild with this fixed
though so folks can gracefully remove gcc 3.1.x from their machines.
Jack