added terebinth user plugin