Fix buildbot yet again. // rdar://13757500.