android-config: Use libxml2