use built-in xml lib (fixes #4)