WTE: make output language configurable