legion: another small patch for merging profiler updates into nopaint
legion: another small patch for merging profiler updates into nopaint

StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion