nitester: use a hashed filename for produced xml files to avoid conflicts