0001-Make-the-choice-of-dvips-or-pdftex-optional-conditio.patch
0002-reproducible-build.patch
