--- a/tools/darkMagic.hs	Wed May 16 18:22:28 2018 +0200
+++ b/tools/darkMagic.hs	Wed Jul 31 23:14:27 2019 +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