Consistently use SHA256 for filenames (previously, MD5 and SHA1 were used). am: 72a67b76c6 am: 4b636830cd am: 074067b725 am: d34002fb87
am: ffe6f59740

Change-Id: I7438cdac9ed550e3b92482305e68c89766d68224