tools: move check-files into the git era.