Update debian configuration for PPA upload