gnu: corrode: Use git-file-name.