Delete automate.c~