[Gretl-devel] backslash