work-around gdb bug, and deal with different representations of
std::unique_ptr in different versions of libc++.

Change-Id: I02a1f49c07dbcd70e13ef6be48e20b510bf5e3fa