Add option to turn off mini profiler.