Use new version of libtgl