hm. richi, should I ship libgcc_s1-gcc7 ? or temporary reconfig the gcc7 incident to build libgcc_s1?