Fixes compilation on Android