https://peeterjoot.com/2017/01/09/gdb-set-target-charset/