I must not have made clean before posting the last one, or something. I made no source changes to this binary.