Fix tets-ipc.c