sync up pyrepl as well