Use the full encoding’s name as the main file name