Update of version file for new 0.1.2 devel