Merge pull request #750 from bk138/gcc-include-libgcc-a