change grader.js character-encoding to unix