Do not mess with the script file in a ScriptChecker

This fixes #176