Use ISDCF name as a default export filename (#1584).