Patch to adhere to the newest xml api

see http://coq.inria.fr/distrib/V8.4pl3/CHANGES