Update Platform.hpp