Header now uses platform.hpp.