olive oil or ghee, plus more for brushing the mashed potato layer