dist-ghc/build/agda/agda usr/bin