Implemented the ./configure --with-stdlib=libstdc++|libc++ option.