configure: simple bash script to get libxml2