Consistent version numbering for 0.2.5 release.