try installing Agda via cabal rather than darcs