On Wed, Nov 25, 2020 at 09:18:04AM -0000, Guenter Milde wrote: > Dear Pavel, > > This did the trick. After reading about the same problem again again on our list I filed https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=975678 I suggest to file similar bug report for whatever distro you are using. Pavel