Hi Matthias, > For a workaround, please could you try to replace the file > /usr/lib/libstdc++.so.5.0.3 with the file from the gcc-snapshot > package? Thanks. That fixed the problem for me :-) --jochen