pi pxref.p
mv obj pxref
mv pxref /usr/ucb/pxref