Update debian packaging