REE compilation settings