becomes compliant with .xsb format