delete .userprefs (pat says it should be in .gitignore)