On Wed, Apr 9, 2008 at 1:27 AM, Reid Kleckner <rnk at mit.edu> wrote: > Actually, I did and it fixed the problem. I guess it's not your problem, > but someone might want to bump the version in the Ubuntu package tree. Which tree or archive are you looking at? -- Martin <http://launchpad.net/~mbp/>