0001-Use-debian-libsynctex-dev.patch
0002-Look-for-epdfinfo-where-it-is.patch
