Deleted src/widgets/options.pyc