Linux binary is huge

Looks like the solution is here:

The cross-toolchain comes with a utility to strip the debugging symbols manually.