[Gretl-devel] 32 bit-64 bit compatibility