Update FFI code for `Free`, fixes #7