Fix config_debs() and make sure config_debnet() does not globally set options