Added missing platform.hpp (generated)