using new version of gettx.hs