Fix unrecognized symbol; now working on Android.
Merge pull request #238 from shepheb/pr

Fix unrecognized symbol; now working on Android.