Alexandre Oliva <aoliva@redhat.com> writes: > Patch withdrawn. Richard Sandiford came up with an even simpler patch > that fixes the problem. Oops, sorry, wasn't paying attention ;)