Sorry, the Android build is broken. Clearly I need to work out how to run Android in Docker, so that I can run continuous integration tests there.
I'll have a fix soon...
