>>380
strip -p --strip-unneeded --remove-section=.comment
すると半分くらいになるよ。