Update porting.h