Fixing FFI interrupt stuff