Fix build error in android port

Android用ビルドでエラーが出ていたので修正しました。