Fix #include discrepancy between clang and gcc