libxml2 install: use deb instead of pypi