Fix for Android build