[Gretl-devel] filenames with dots