More formatting fixes on linux profiling