Forgot to update autograder version