added another place for sha512
added another place for sha512

jethrogb/cloudproxy,jlmucb/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy,jethrogb/cloudproxy,jlmucb/cloudproxy