Fixed a gdb bug: pretty pthon printf