OutputCheck broken

[robin-aws]

See #163

/home/runner/.local/bin/OutputCheck --dump-file-to-check  --comment=// --file-to-check "/home/runner/work/libraries/libraries/examples/Output/WrappersExamples.dfy.tmp" "/home/runner/work/libraries/libraries/examples/WrappersExamples.dfy"
# executed command: /home/runner/.local/bin/OutputCheck --dump-file-to-check --comment=// --file-to-check /home/runner/work/libraries/libraries/examples/Output/WrappersExamples.dfy.tmp /home/runner/work/libraries/libraries/examples/WrappersExamples.dfy
# .---command stderr------------
# | usage: OutputCheck [-h] [--file-to-check= FILE_TO_CHECK=]
# |                    [--check-prefix= CHECK_PREFIX=]
# |                    [-l {debug,info,warning,error}] [--comment= COMMENT=] [-d]
# |                    [--disable-substitutions]
# |                    check_file
# | OutputCheck: error: argument check_file: invalid FileType('rU') value: '/home/runner/work/libraries/libraries/examples/WrappersExamples.dfy'