Properly import third-party headers