Revert to old docbkx version as sources do not match newer versions