bug 853036: Backout switch to uppercase SHA512 because Android doesn't support it.