Readding the static libstdc++ and libgcc compiler options