Make short_open_tag configurable