Changing the file names from run.sh/run.bat to runsanity.sh/runsanity.bat to make...