On Wed, May 28, 2008 at 11:57:57PM +0200, Cristian Ionescu-Idbohrn wrote: >Alright. This seems to be now fixed both in the kernel and debian package >linux-libc-dev (2.6.25-4). Great. Thanks for your patience.