On 13-01-21 01:55 PM, Marc Hanisch wrote: > I had the same experience on Ubuntu 12.10. Installing the .deb from > Sourceforge was easy and solved the problem. > Well, installing the deb from Sourceforge was far from easy, but it seems to have done the trick. Thanks to all who helped, and sorry about the initial post; I was *very* frustrated.