Delete simple_dekker.rmm~