Delete porting_tools