# CONFIG_ANDROID is not set