Fixing Mono on some Linux installations
Merge branch 'mono' of https://github.com/lukipuki/problemtools into lukipuki-mono
Merge branch 'lukipuki-mono'