On Fri, 2006-10-13 at 16:18 -0700, Adam Chlipala wrote: > I don't have the knowledge to diagnose the problem, > so things will stay as they are unless someone else solves the > problem. Fair enough, sir