I just tried Tino's 1.5.1 packages, and they appear to work flawlessly, solving the problem I reported above (https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=824426#17).
Many thanks, Justus -- Intelligent and Interactive Systems https://iis.uibk.ac.at/ Institute of Computer Science, University of Innsbruck, Austria
