missing header for libstdc++ 4.7