Update cabal file, HaTeX patch