It's still strange though that it doesn't happen on your box (you are the only one that came back, and of course Alexandre cause I guess he runs the tests every time before he commits something).
It also succeeds when running twice here. (make install.ok hangs here, though.) --Juan