[armedbear-devel] Android support?