Re: [gambit-list] compiling for arm android on linux