Update debian infrastructure.