Deleted src/widgets/DirTreeCtrl.pyc