Version bump (0.4.25)