Version bump, 1.7.2