Fix array splitting on linux