On Fri, Oct 17, 2014 at 08:23:41PM +0200, Thomas Lange wrote: > > Is this a known problem? > Yes. #764313. > Please read > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=764313#10, where I > explain why this is happening. Ah, ok, good. Thank you! -pete