Ellie uses 12.5 pounds of potatos to make mashed potatoes. She uses one tenth as many pounds of butter as potatoes. How man pounds of butter does Ellie use?