People make too big a deal of this collision stuff, a lot of times these are very theoretical would require tremendous computation. Anyway, for this use case, even md5, how likely really to make a <i>useful</i> malicious that file collides with a particular known and widely used one? I dunno seems pretty unlikely.