silence some debugging output