let run_debcheck = ref false