Как красиво -печатать контейнеры STL в GDB?

Я следовал инструкциям на вики GDB , чтобы установить принтеры python pretty -для просмотра контейнеров STL. Мой ~/.gdbinitтеперь выглядит так:

python 
import sys 
sys.path.insert(0, '/opt/gdb_prettyprint/python') 
from libstdcxx.v6.printers import register_libstdcxx_printers 
register_libstdcxx_printers (None) 
end 

Однако, когда я запускаю GDB и пытаюсь напечатать тип STL, я получаю следующее:

print myString
Python Exception  No type named std::basic_string::_Rep.: 
$3 = 

Может кто-нибудь пролить некоторый свет на это? Я использую Ubuntu 12.04, которая поставляется с GDB 7.4.