fix compilation issue on the Android platform