That build failure is not reproducible. I believe this bug is fixed. If nobody objects, I will close it.