Fix incorrect linux arch