Fix "make rev" compilation error