Newer version of grader.js