file xtension as per gforth manual