Double-check CircleCI and which sdk/ndk version we're using/building for

[badboy]

We might have a mismatch between what sdk/ndk version the docker image loads by default and what we're building for, potentially downloading too much.

We should clean that up.