Fixed up xmllint.js worker cleanup