issue6133: "Reset all options" should reset the default include() aliases