repaired src:platform.hpp