Fix Android build. Closes #181.