Fix GCC compilation (false positive)