update sdk May 14

I've changed the C sdk by the last one merged in the ElevenPaths repository. This fix certificates problems reported by https://github.com/ElevenPaths/latch-plugin-ssh/issues/10