fixed to complile with g++ 4.8.2