eng_platform.h updated