removed obsolete 'platform.hpp'