issue #20399: fix export filename