repl executable is called defunct