agda-executable is deprecated since 2.3.2.