Adding support for whitespace directory names in check_submission