Richard Sandiford wrote: > I've attached the patch we used internally. It allowed us to run the > toolchain testsuites, but bear in mind that it isn't an official patch. Thanks, this did the trick. (When) will this patch become official? Michel