add texcheck script