fix build after changes in platform api