Bumping version number for release 2.5.1