../ clean.sh,v 02-Nov-2026 23:22 506000 prereq.sh,v 02-Nov-2026 23:22 2988 setup.sh,v 02-Nov-2026 23:22 1418709