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

Change-Id: If60a99470f09e7b8f51bc58403084e941d658ced