Esatto bisogna aggiungere un piccolo particolare a quelle 2 righe:
Codice PHP:
[...]{
 $path="../pippo/".$_POST['pagina'];
 if(file_exists($file))
 include($file);
}[...] 
../ lo usi se devi tornare indietro di una directory. Se non devi fare questa procedura eliminalo.