small fix to the tutorial-ffi destructor example