However, the binary size didn't change appreciably. From 11129144 bytes, it reduced by 0.00179708340551618345%.