Why have you CCed debian-devel? The rest of the thread is not on there. Please stop cluttering -devel with separate mails on this topic. We have a bug number, that's where discussion can take place, should any be necessary. -- Jon Dowland