This seems to be the same as #963980 [1], where a workaround is provided. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=963980 Giovanni. -- Giovanni Mascellani <g.mascellani at gmail.com> Postdoc researcher - Université Libre de Bruxelles