On 19/05/2006, at 4:30 PM, Volker Stolz wrote: > Are you sure this is worth the effort? I'd say let's stick with the > file. I'm inclined to agree, but I was asked to make this change to a new port (PR 92454) so I'm trying to keep them consistent.