remove csf12.rkt