Version bump (1.9.25).