Fix up XSIOS