When you start the export and it's asking you for the name of the file, you also need to select the file type that you want to export to from the drop down list. I don't think it is smart enough to infer the file type from the filename (I could be wrong).