Delete dekker-round1.c~