For reference here is a possible fix: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=780579#15 It is currently not possible for me to patch the debian package.