Updated gxl2smt