Fix GCC compile error