silence a debugging message in Release builds