On Jan 31, 2011, at 6:34 PM, R. Matthew Emerson wrote: > I checked in some trunk changes that seem to have broken the 32-bit x86 ports; you might want to hold off updating until I give the all-clear. Things should be OK now.