DFT_OVERRIDE_BINARY works well to not diff a generated file in the repo, but if I delete the file then the flag doesn't seem to be used, the file is still showed in the diff. Interestingly, diffing the file takes many seconds despite the the file being deleted (i.e. the diff is trivial, I guess rendering takes time?)