machine_config -> machine_options