[dist] Version bump. 0.7.1