to get rid of the version number. Keeping it up-to-date by hand is too much work, but leaving it at 2.8 would be confusing.