[dist] Version bump. 1.4.2