python ctypes и pulseaudio segfault после обновления до 12.04

К настоящему моменту я совершенно уверен, что на самом деле это ошибка в драйверах nvidia, которая была введена в 295.40. Я решил свою проблему, понизив nvidia-current до версии 290 с помощью инструкций отсюда: Как мне понизить драйвер nvidia в 12.04 ?. Все, кажется, снова работает.