gdbinit: fix colored prompt.