You may be puzzled with this issue, as you only see the different versions of EMB file format in the Save as dialog box. For saving a design file to a machine file format, you may go to File > Export machine file… menu. Please refer to the screenshot below for the details: