fix a C++11 gcc warning in a library header