[dist] Version bump. 0.4.2