Delete invproto.c