Hi, Michael Biebl suggested a 'change one line' fix for this problem in: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=717449#22 Would you be so kind as to commit this fix to git? Thank you, Andreas