Don't build tools on Android; they don't install properly and aren't used anyway