Update debian packaging for version 10.1