updates for timer/profiler changes in Platform