[dev] Filename cleanup in ex_eos_had.