Fix compilation error on tools/compare