[Agda] Cannot type-check Level.agda in the Agda standard library with the current Agda 2.2.11 (command line)

[IKEGAMI Daisuke]

Dear Arseniy and Andreas,

Thanks for quick response.
It works after install Agda-executable again.

It is not enough to runghc Setup.hs install at the top level of the repository,
but, I need to runghc Setup.hs install again at src/main.
It's my failure that I didn't check whether the executable agda was updated.

Ike