Add appropriate headers for libstdc++