agda: Fix for Linuxbrew
agda: Fix for Linuxbrew

Linuxbrew/homebrew-core,rwhogg/homebrew-core,Linuxbrew/homebrew-core,maxim-belkin/homebrew-core,rwhogg/homebrew-core,LinuxbrewTestBot/homebrew-core,maxim-belkin/homebrew-core,LinuxbrewTestBot/homebrew-core