src/distrib/sgi
