Okay, I have a pull request to exclude xs64bit: https://github.com/xapi-project/sm/pull/160