The problem is finally solved: I was running under the Linux 2.2 kernel, and an upgrade to 2.4 fixed the problem for some mysterious reason. Thanks for all who tried to help!
Max