Separate file format version from profiler version