src/distrib/mipsco