fix building on android.