Add null byte to ensure flush happens correctly.

Otherwise flush can fail for long (> 256 bytes) strings such as a memory map. Tested on the native platform with linux 3.11.0-20. The null terminator does not affect gdb.