Thanks a lot, Andreas, for looking at this! Would you take a look at this one? https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=818872 It's apparently the "same" bug, so most likely the fix for #818873 would also work for #818872 as well. Thanks.