Update debian/ files.