fix build on Android