Make it compile with gcc 4.7...