En la segunda versión mostrada arriba, el parámetro opcional -o execFile es colocado para especificar el nombre del ejecutable generado.