Bug fix with autograder test runner diff GUI font on Mac OS X