While you are waiting for the potatoes, slice the mushrooms, onions, leeks and garlic and fry them in a little oil in a sauce-pan over medium heat. Add whatever sauces you like to them (red wine, soy sauce, rice wine vinegar, etc). Try to retain any liquid in the pan, this will become “gravy” for the pie.