These were disabled in#319 due to a segmentation fault when running profiling with the instrumented binaries. Needs more investigation, but we should eventually enable this again.