carpenter's file; to file smooth