Fixes building on Android