Delete preferences.py.orig