/distrib/mipsco/