Fix compile with GCC