Add missing #include for gcc