am a551fa53: Merge "Switch profiler off by default"
am a551fa53: Merge "Switch profiler off by default"

* commit 'a551fa53327d8a6def0a8a733bb97a5c524141c0':
  Switch profiler off by default

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst