add profiling to Debugging Tools section