Update devel version number