update version file for debian 10