On Fri, Nov 16, 2012 at 01:06:37AM +0000, Chase,Philip B wrote: > I submitted a bug report to bugs.debian.org > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=693373 Thanks, I'll take of it for the next upload. Michael -- Michael Hanke http://mih.voxindeserto.de