K 10 svn:author V 6 marcel K 8 svn:date V 27 2003-08-01T05:28:43.000000Z K 7 svn:log V 87 Fix ordering bug created by previous commit. While here, make ppc(4) dependent on isa. END