Benjamin Thaut:
Does this actually work for you?
It seems to work. (But in that little program I have found two new unrelated compiler bugs that don't allow me to compile the program in an useful way. I have reported both of them in Bugzilla and one of them has now a patch, so probably I will not have to wait a lot).
Bye, bearophile
