src/distrib/hpcsh/miniroot