Update platform.h