Update debian config after cbdec4ae46a8