Correct one more #include for GCC 4.8