There's something about the git sequence that's not quite right. In my case, it produced the .bin files, but they are small text files with an SHA in them. If I look for the SHA in the .git folder, I find the corresponding large file there. I'm guessing some step is missing.