applied Geert Kloosterman's patch to fix --repeat --timing output Daniel * xmllint.c: applied Geert Kloosterman's patch to fix --repeat --timing output Daniel