K 10 svn:author V 3 rrs K 8 svn:date V 27 2009-10-29T21:30:21.965423Z K 7 svn:log V 91 adds rmi specific mips extensions file and makes sure the includes point to the new place. END