Update porting.md