Ian Schindler Sat, 27 Sep 2014 05:48:22 -0700
Dear Maintainer, Yesterday I did an apt-get dist-upgrade for Jessie which fixed the problem.
Ian