H. William Welliver III wrote:
I think that's the same error that Stephen was getting a few weeks ago. I have access to only 1 Linux box, and everything went okay there; I wonder if Stephen had any time to look into the problem.
Not yet, but I'll give it another go later today.