Delete rsa.rkt~