I got the installation from the website and moved it to /usr/local/src/alex
 and applied to it tar xvfz 

New version: got it via
   darcs get http://darcs.haskell.org/alex/)

Then I followed the cabal instructions see cabalPublicParts.txt
which was
                runghc Setup.lhs configure 
                runghc Setup.lhs build 
                runghc Setup.lhs install 

In cabalPublicParts.txt it is explained how to get a local installation 
    (replace the configure command by (note full path needed)
     runghc Setup.lhs configure --user --prefix=/home/csetzerlocal/agda2/programsused/local/
    )


There was a problem in one installation, 
where I had to use the 64 bit version instead of the 32 bit version of ghc

There was a problem in one installation,
and I added some additional libraries for glibc (the -devel versions)