Fix GCC compilation