It looks like this build failure doesn't happen anymore now.
Closing.