Strange: Using the original .deb from Debian prevents the crash, but taking the Debian sources, building a package from them in Ubuntu 12.04 and installing the package, does not.
Strange: Using the original .deb from Debian prevents the crash, but taking the Debian sources, building a package from them in Ubuntu 12.04 and installing the package, does not.