Mysteriously, the problem has resolved itself after a week. No one knows how or why, including the sysadmin and the network people. And we cannot reproduce the problem. Oh well. All's well that end's well... I hope.