get rid of python repl rename code.  it breaks stuff, don't have time to figure out why