fix binary compatibility in platform-api