Fix compile error with gcc