[ build ] Don't override AGDA_BIN if already set.
Revert "[ fix ] Replaced (bad?) fromMaybe with case"

This patch is the identity, at least in a lazy language like Haskell.

This reverts commit a25253a3adaa0314188ff5b698cb1520bd32ce05.