edited platform.h