. by the way, I tried to apply your last patch and doesn't apply cleanly. When I tried to quickly "apply" it by hand, I got many fails in 32-bit mode. Thus, please fully test both 32/64 per the previous message of mine, rediff, and resend, thanks a lot in advance! Paolo.