I'm having trouble running Agda on my windows 7 64-bit pc. I tried running the following commands:

```
cabal install agda

```

and 

```
cabal install agda-executable 

```

which both work, but I still can't seem to get it going with emacs, can someone help me? I've tried the one click installer from [here](http://agda.cvs.gr.jp/agda/Agda-setup-2.2.6.exe) but it doesn't seem to work, I run into this complaint:

```
C:\agda2\bin\agda2-install.cmd failed.
Code = 1
Incorrect Function
Setup was not completed.

Please correct the problem and run setup again

```