Better name for default options file.