/tools/

• ../
• machchk.sh