possibly fix a use-after-free memory bug in flisp