Set version number for devel version (again)