update debian/install_packages.sh: change libxml2 check