Two files are moved to libstdc++, and a NOTE gets added