tools cutting file