Made executable link statically to libstdc++ and libgcc ; fixed type-punning