libstdcxx gdb pretty printers compatible with Ubuntu 13.10