Update xmllint-pre.js