Changed stex git resolved url