Now the .log files are also correctly renamed according to the values of
the ModelExtension parameters.