updated devel version number