Uniform use of LEDDEBUG to print debug messages