Fix unicode submissions
Merge pull request #43 from klee-web/unicode_fixes

Fix unicode submissions