Delete ps4.rkt~