If there was a bug, that's been fixed, I don't think we can just change this—don't we need to keep a case for buggy versions? Also, this is a change that affects all builds of all types; I might have done it as a separate commit.