Fix find for CI, and debug a git issue