On 06/03/17 15:59, Ben Hutchings wrote: > On Sat, 2017-06-03 at 08:08 +0200, Harald Dunkel wrote: >> >> What would you suggest? > > I would suggest not using linux-libc-dev from jessie-backports. >
This workaround is already known; see my first post in this thread. Regards Harri