modified:   guiminer.py