Consistently use SHA256 for filenames (previously, MD5 and SHA1 were used). am: 72a67b76 am: 4b636830 am: 074067b7 Change-Id: Id6f598090668b9e17296e1f6f6cff4863cd2bcf3