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