menu & libstdc++5

[Matthias Klose]

Joost,

I think this is an upstream libstdc++ bug. As a workaround, please
could you

- either statically link with libstdc++ (g++ -static)
- or compile using gcc-3.3/g++-3.3

Thanks, Matthias