Ingredients · 2 tablespoon olive oil, plus more as needed · Pinch of red-pepper flakes · 1 garlic clove, finely chopped · 1 teaspoon paprika or porcini mushroom ...