Delete simple_dekker.txt~