> This was a result of a push Joachim made yesterday. It should be > fixed. Are you certain you're using the latest copy of HEAD and > testsuite? I'm pretty sure I did a `./sync-all --testsuite get` right before the build. But I'll try again.