[dist] Version bump. 0.5.12