readded platform.hpp