Restore build script broken in Wednesday's bad commit.