GDB pretty printers compatible with Ubuntu 13.10