xetex's ifx is somewhat broken