xmlto: update from 0.0.23 to 0.0.25