* specify full header paths in platform.hpp