After finally being able to fix Debian bug #794266 I want to thank those who made this possible: Some time ago my colleague Bjørn offered an Arietta G25 to me. After Jochen, another colleague, helped me to solder pin headers on it, this machine served as host computer for my …