fixed ltlmc/config.xml and .out files