let create_options_file filename = {filename = filename; group = new group}