Note in FAQ about C++ standard headers not found