Update debian packaging for package rename