Update: bug #847216 [1] is slowing me down. I do not need a
fix for that other bug uploaded before I can proceed, but I do
at least probably need to fix that bug on my own PC.
Therefore, I am off hacking that other source.
1: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847216
Attachment:
signature.asc
Description: Digital signature