Fix to compile with gcc