Delete 4013.c~