grader.js now can download stuff into filez