diff --git a/support/nix/dep/Agda/github.json b/support/nix/dep/Agda/github.json
index e80b27401..a195632d6 100644
--- a/support/nix/dep/Agda/github.json
+++ b/support/nix/dep/Agda/github.json
@@ -3,6 +3,6 @@
   "repo": "agda",
   "branch": "master",
   "private": false,
-  "rev": "3a9d3893737b3a47c57e1c997f588931d592b0b6",
-  "sha256": "06a3v40gb1779ric56bhyhhmkrjbwdzkgxsr00fdnm192a63khnq"
+  "rev": "9e0d5a54f8b811dbccf8c42f859b44f9c34a3ee8",
+  "sha256": "1ahkbsiayfbm5kk7xmh8yjvwslrclx8nyis3jmh66nqj84dy83k3"
 }
diff --git a/support/shake/app/HTML/Backend.hs b/support/shake/app/HTML/Backend.hs
index 942a2a5a7..5c0fbe062 100644
--- a/support/shake/app/HTML/Backend.hs
+++ b/support/shake/app/HTML/Backend.hs
@@ -1,10 +1,7 @@
 -- Copyright (c) 2005-2021 remains with the Agda authors. See /support/shake/LICENSE.agda
 
 -- | Backend for generating highlighted, hyperlinked HTML from Agda sources.
-{-# LANGUAGE FlexibleContexts #-}
-{-# LANGUAGE BlockArguments #-}
-{-# LANGUAGE LambdaCase #-}
-{-# LANGUAGE DerivingStrategies #-}
+{-# LANGUAGE FlexibleContexts, BlockArguments, LambdaCase, DerivingStrategies, OverloadedStrings #-}
 module HTML.Backend
   ( htmlBackend
   , compileOneModule
diff --git a/support/shake/app/Shake/AgdaCompile.hs b/support/shake/app/Shake/AgdaCompile.hs
index c6db460f4..97de26d52 100644
--- a/support/shake/app/Shake/AgdaCompile.hs
+++ b/support/shake/app/Shake/AgdaCompile.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE BlockArguments, ScopedTypeVariables #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving, TypeFamilies #-}
+{-# LANGUAGE OverloadedStrings #-}
 module Shake.AgdaCompile (agdaRules) where
 
 import System.FilePath