Delete tool.rkt~