0001-Use-debian-libsynctex-dev.patch
0003-Skipping-tests-in-server-test.patch
