Pandoc: require gmp 4