[Gretl-devel] max identifier length