.userprefs and MAGIC