fixed trashed submodule libtex