GCC compilation error fix