Quale binario devo scaricare?
http://www.zlatkovic.com/pub/libxml/

Altra domanda...Il codice XSL che mi hai passato applica un ID ad ogni nodo senza nessuna condizione?