Fix the ForAll script
Fix a simple bug in FileTools