diff --git a/tools/pandoc-add-toc.hs b/tools/pandoc-add-toc.hs
old mode 100644
new mode 100755
diff --git a/tools/pandoc-drop-toc.hs b/tools/pandoc-drop-toc.hs
old mode 100644
new mode 100755
index 690616a54..0528194ac
--- a/tools/pandoc-drop-toc.hs
+++ b/tools/pandoc-drop-toc.hs
@@ -1,6 +1,7 @@
 #!/usr/bin/env stack
 {- stack runghc --verbosity info
    --package pandoc
+   --package split
 -}
 -- Remove a table of contents marker
 -- (a bullet list item containing "toc[-N[-M]]")