Delete dekker1.c~