On Sat, Jun 09, 2007 at 02:40:35PM -0400, Ronald S. Bultje wrote: > > See attached again. I'll apply it in a moment, thanks. Can anybody suggest a better commit log message than "compilation fix"? I'm not particularly imaginative right now... Diego