a tool used to operate files