Fix genrev.cmake