El parámetro de entrada del archivo de salida ahora puede ser opcional. En este caso el código intermedio se generará en un archivo con un nombre por defecto determinado a partir del nombre de archivo fuente.