/local/lib/

• ../
• helpdb.mip
• mkpkg.inc
• root.hd
• rootlocal.hd
• strip.local
• zzsetenv.def