gcc/linux build fix