[dist] Version bump. 1.7.2