Changes done for TIPC on amd64 platform