What does deleteFile do?