Reduce (again) the probability that DEBUGGING=both is chosen