Update version.h from 1.7.1 to 1.7.2