Providing the checker with its own version of the Univ file.
I also took the opportunity to remove a lot of code not used by
the checker.