Small modif for batch production of EDM files