Update platforms.h