Fix GCC build error