options.el should override