[MvL, to Andreas Flöter]
This strictly doesn't belong to python-dev: this is the list where you say "I want to help", not so much "I need your help".
LOL! How true.
If you want to resolve this yourself, we can guide you through that. I would start running the binary in a debugger to find out where it crashes. Maybe the bug in Python is easy to see from that. But then, maybe the bug is in the compiler, and not in Python...
The first or second thing to try is to recompile Python with C optimization disabled, and especially in this case where compiling with gcc instead works fine (that certainly _suggests_ "C compiler optimization bug").