Instead of pushing an array and then later flattening you can use `archs.concat(Array(target_archs))`.