update to pandoc 1.12.4.2