Está bien. Aunque más sencillo sería ponerle la extensión ya en el dat2file, así te ahorras cambiarla luego
El programa no te pone extensiones porque un .DAT puede ser cualquier cosa. En el caso de VCDs y SVCDs sabes que siempre va a ser un MPG, pero hay más tipos de CDs en modo 2 y el archivo DAT puede ser otra cosa (un AVI, un ZIP, etc...).
Un saludo
