5c6c1532220 Fix Android build

git-subtree-dir: third_party/marl
git-subtree-split: 5c6c1532220096dd470549312053a445d7d95a2c