ho provato a mettere session_start(); nella 1a riga, prima dello switch, ma non funziona lo stesso...
tra l'altro la pagina di destinazione è una pagina inclusa, quindi session_start() dovrebbe essere sempre attivo...