Avoid JCE provider for SHA3