Fix PR6444, note still doesn't compile libgcc2 all the way, but fixes that error...