Deleted files with .rkt extension