Fix build error in android port
Merge pull request #181 from ichizok/fix-android-port

Fix build error in android port