fix compilation on android