Fixed a bug that broke the Linux build: the new treatment of paths when processing #include directives means that a header included both implicitly and explicitly will be seen as different headers. Solution: do not include the header explicitly.
Fixed a bug that broke the Linux build: the new treatment of paths when processing #include directives means that a header included both implicitly and explicitly will be seen as different headers. Solution: do not include the header explicitly.

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast