Use 0launch's selections XML format instead of our custom format.