Update Xylotex.hal