Delete mud.rkt~