Fix build error in android port