oops, fix import in BinarySystem