/distrib/ofppc/