[gambit-list] Android executables