do-not-require-thailatex.patch
