A stone carver's family tradition