[Agda] Is it possible to switch off universes checking?

[effectfully]

Andrés Sicard-Ramírez,
> You can try the issue-1764-master branch

I got

    Linking ./dist-2.5\build\agda-tests\agda-tests.exe
    cabal: Error: some packages failed to install:
    Agda-2.5 failed during the final install step. The exception was:
    ExitFailure 1