Do we have the ability to make libgcc a shared library? I bet this will fix Alexandre's problem - and I suspect this is the only thing that will fix all the related problems. zw