Update debian packaging stuff