sync with latest tresql