Fix unrecognized symbol; now working on Android.