1/2 ounces (100 grams) dried porcini mushrooms