Minor mod to allow us to measure perf without printing out annoying debug messages