Delete ps4.rkt