Update version string to 2.5.1-pre.3