gnome-platform-libxml2.sh