Fix GCC build