Corrected mono-gdb.py use of "\u%X".format (val)