[Gretl-devel] ctrl-x in scripts