GCC compilation fix