The testcases will be updated automatically in a separate commit.
This eliminates our build-depedency on latex.