[Gretl-devel] refinement to export to R