Fix some complains by NSIS.

And document why we have two libgcc names (32/64 bits).