Fixes https://github.com/google/tink/pull/95 Merge a8a6b95b797d70e2acf27fc49df4e4cd631a73d8 into 9a4df389 PiperOrigin-RevId: 199884795 GitOrigin-RevId: ba029538be7f53380c72c27a515a0f07ca517426
