Small binary to delete the given lines from a file.