Version v1.2.3 (binary) forgets path to the agda binary

[nkaretnikov]

I set Path to Agda in preferences, closed the window. Opened it again, and nothing's there.
I tried working around this by editing the defaults.plist file, but after that I started getting:

*Error*
only one input file allowed

The part of the plist:

        <key>agdaLaunchPath</key>
        <string>/usr/local/Cellar/agda/2.5.3_1/bin/agda</string>

[nkaretnikov]

The reason for doing this, of course, is that the bundled agda is quite old.