Obtain a filename for an exported map