Bump version number for release 2.7.2