Long forgotten. Juergen, have you come across the bug since then? CCing Jack, since there is inotify on the stack and if it rings a bell.