A patch to Golang's encoding/xml