Delete original_dekker.c~