Delete sanity.c~