Update libstdc++ directions (fixes #4)