GHC 8.8.2 heap overflow panic compiling agda 2.6.1

Summary

Compiling Agda 2.6.1 with GHC 8.8.2 and cabal 3.2

Steps to reproduce

Install a couple of prerequisites (https://agda.readthedocs.io/en/v2.6.0.1/getting-started/prerequisites.html icu4u may also be required)

git clone --recursive https://github.com/agda/agda.git (The commit I used was the latest: f0422f159aedca2e987aba85d22421c2fba2a449)

make

Expected behavior

This should build, but instead I get

[248 of 373] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist-2.6.1/build/Agda/TypeChecking/Primitive/Cubical.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.8.2 for x86_64-unknown-linux):
	heap overflow

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

cabal: Leaving directory '.'
cabal: Error: some packages failed to install:
Agda-2.6.1-8J2mu6UbD9AKTdyltkOpDj failed during the building phase. The
exception was:
ExitFailure 1


real	10m48.227s
user	10m44.013s
sys	0m3.386s
make: *** [Makefile:98: install-bin] Error 1

Environment

• GHC version used: 8.8.2
• Cabal version used cabal 3.2

Optional:

• Operating System: GHC version 8.8.2 for x86_64-unknown-linux (Ubuntu eoan; same on MacOS Catalina)