Update stex to latest