add include for GCC 4.6