diff -r 60bcc20e6ab0 -r b62b14aa88d4 tools/darkMagic.hs
--- a/tools/darkMagic.hs	Wed Jul 18 17:02:40 2018 +0200
+++ b/tools/darkMagic.hs	Thu Jul 19 14:01:57 2018 +0200
@@ -1,3 +1,5 @@
+{-# LANGUAGE FlexibleContexts #-}
+
 module Main where
 
 import System.Directory
@@ -156,4 +158,4 @@
 
     mapM_ processScript scripts
 
-    --putStrLn $ unlines l18ns
\ No newline at end of file
+    --putStrLn $ unlines l18ns