Changed profiling data format to be all 64 bit integers
Merge branch 'master' into HEAD