Use "size" to check sizes; the raw file size could be including unknown amounts of extra material like debug symbols.