Solution: before including internal headers, include platform.hpp
so that the build time options are correctly applied to the included
headers.