s3:profile: Use SHA1 for hashing in profiling functions.