Update ctypes_libsodium.py