Delete ._ps4.rkt