bin/gambit
bin/gcl
bin/wxgcl
