update version number for debian