Update GDB trace with the new format