Speed up build and avoid xmlto issues