additional #include for gcc