On Saturday, 4. March 2006 01:06, Charles Samuels wrote: > These aren't installed headers, so why wasn't that just done? Because it was done by a script which didn't investigate if the header was installed or not ;) -- Dirk//\