Rename walk_binary_or_stdin...