0001-Increase-test-timeout.patch
0002-Port-to-newer-libsynctex.patch
