gdb: Configure prompt, leave radix at default decimal