Work around a bug in XST.