It's not related to autonaming. With autonaming enabled, the exported file takes the same name than your project. If your project is called Hello1, and you're exporting to mpeg2, the exported file will be Hello1.mpg.