Workaround for local pandoc error when make-all.sh-ing