fix #4294: do not migrate nonexistent settings