src: fixed a problem in g++ with C++11