Rewrite the REPL reloader