Auto grader
Checks.json not executable anymore