The file /education/cantor/thirdparty/discount-2.2.6-patched/github_flavoured.c does not exist.