Make it work with g++ 4.8