Don't override existing $AGDA_BIN.
Merge branch 'master' of github.com:agda/agda