pandoc 1.12.4.2

Yup. Might be nicer as a `patch do` block though: https://github.com/jgm/pandoc/commit/fd11a5.diff