better crawler script (fixed missing tex when crawling)