file (tool with rough surface), carpenter's file