K 10 svn:author V 6 marcel K 8 svn:date V 27 2004-08-27T21:57:00.000000Z K 7 svn:log V 159 Catch up with the drive-by renaming of IA32 to COMPAT_IA32. Missed 11 days ago when all the other places were fixed and finally caught by the tinderbox run... END