src/distrib/mipsco
