PRIVATE: "auto-save.el" no longer optional