Fix pandoc to be platform-neutral