Update version numbers; we're targeting 2.5 now.