Bugfixes: Finalizing the interpreter might crash.