Fix #1769: don't set ResourceFile pref unless user does so explicitly