profile: Use a simple binary format for profiling