Switched to using GDB pretty-printers that ship with GCC.
Specified icon theme for gtk-3.