Make it compile with g++ 4.8.2 on Linux