delete unnecessary .rkt