On 2015-10-21 01:14, Michael Biebl wrote: > Hm, might this bug in dpkg also be the root cause for > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801389#54 I didn't check in detail, but this sounds very likely. Andreas