if any_installed "usr/share/xml/[^/]*/catalog.xml" ; then
echo "Recreating /etc/xml/catalog file.."
( cd /etc/xml && ./update_catalog.sh; )
fi