fix broken pycscope navigation