Fix valgrind warning about mismatched new/delete in Profiler.h

Mostly a hygienic fix.