improve aux_web2xsd.sh with removal of temporary file