Correct another #include for GCC 4.8