Fix compatibility with clint HEAD version