added platform.h to public headers