Upgrade sophia C code to 3f16d0ed3f
Bump version number due to bugfixes in C code. API is the same